Section: Partnerships and Cooperations

Actions nationales/National Initiatives

ANR

• Projet ANR Arpège ASOPT (Analyse statique et Optimisation), responsable B. Jeannet. Partenaires: équipe-projet Popart (Inria Grenoble), équipe MeASI, EADS, et Maxplus. Ce projet a été labellisé par le pôle de compétitivité System@tic.

• Participation de Cormac Walsh au projet ANR FINSLER (Géométrie de Finsler et applications).

• Projet ANR CAFEIN (Combinaison d'approches formelles pour l'étude d'invariants numériques), responsable P.L. Garoche. Partenaires: ONERA, CEA LIST, ENSTA Paristech, Inria Saclay (Maxplus, Toccata, Parkas), Université de Perpignan, Prover, Rockwell Collins France.

Programme Gaspard Monge pour l'Optimisation

Projet intitulé “Méthodes tropicales pour l'optimisation”, responsable X. Allamigeon, faisant intervenir M. Akian, P. Benchimol, S. Gaubert, R. Katz, et Z. Qu.